Pushouts, Pullbacks and Their Properties
نویسنده
چکیده
Graph rewriting has numerous applications, such as software engineering and biology techniques. This technique is theoretically based on pushouts and pullbacks, which are involved with given categories. This paper deals with the definition of pushout and pullback, and their properties.
منابع مشابه
On the Axioms for Adhesive and Quasiadhesive Categories
A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing ...
متن کاملVan Kampen Colimits as Bicolimits in Span
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g. in program semantics, data type theory and rewriting. We show that these properties can be understood as a single universal property in the associated bicategory of spans. To this end, we first provide a general noti...
متن کاملAlgebraic High-Level Nets as Weak Adhesive HLR Categories
Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. They combine the well-known framework of HLR systems with the framework of adhesive categories introduced by Lack and Sobociński [3, 4]. The main concept behind adhesive categories are the so-called van Kampen squares, which en...
متن کاملThe Axioms for Triangulated Categories
This is an edited extract from my paper [11]. We define triangulated categories and discuss homotopy pushouts and pullbacks in such categories in §1 and §2. We focus on Verdier’s octahedral axiom, since the axiom that is usually regarded as the most substantive one is redundant: it is implied by Verdier’s axiom and the remaining, less substantial, axioms. Strangely, since triangulated categorie...
متن کاملRational Homotopy Calculus of Functors
of “Rational Homotopy Calculus of Functors” by Ben C. Walter, Ph.D., Brown University, July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory. More precisely, given a homotopy functor between any of the categories of differential graded vector spaces (DG), reduced differential graded vector spaces, differential graded Li...
متن کامل